A *(Learning Lounge) course about _(Partial Evaluation).

A quick _(introduction using slides-format| http://www.cs.uu.nl/groups/ST/twiki/pub/Ist/ProgramTransformation/IST-PT2.pdf), followed by a _(further slide presentation| http://www.cs.uu.nl/groups/ST/twiki/pub/Ist/ProgramTransformation/IST-PT3.pdf) covering details of binding time and how it can be used and analyzed in practice.

N.D. Jones, C.K. Gomard and P. Sestoft: <a href="http://www.dina.dk/~sestoft/pebook/pebook.html">Partial Evaluation and Automatic Program Generation</a>.

Darius Bacon: <a href="http://www.lisp-p.org/htdocs/peval/peval.cgi">Hacker's Introduction to Partial Evaluation</a>.

Check out <a href="http://psyco.sf.net">Psyco</a>, the _(Python) Specialising Compiler, a project by Tunes member _(Armin Rigo).